libarmadillo.so.7.800.1